1. After Godel : Platonism and rationalism in mathematics and logic
پدیدآورنده: Tieszen, Richard L.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical
رده :
QA
9
.
T53A34
2. An introduction to Godel's Theorems
پدیدآورنده: Smith, Peter, 5391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Godel numbers,، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical
رده :
QA
9
.
65
.
S64I5
3. An introduction to Gödel's theorems /
پدیدآورنده: Peter Smith
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Gödel, Kurt,Logic, Symbolic and mathematical
4. Foundations of mathematics. Symposium papers commemorating the sixtieth birthday of Kurt Godel
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Godel, Kurt
رده :
QA
9
.
F58
5. Gödel remembered :
پدیدآورنده: R. Gödel [and others] ; edited by Paul Weingartner and Leopold Schmetterer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Gödel, Kurt,Logic, Symbolic and mathematical, Congresses,Logiciens - États-Unis - Biographies,Logique symbolique et mathématique
رده :
QA9
.
A1
G63
1987
6. Gödel's theorem in focus /
پدیدآورنده: edited by S.G. Shanker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Gödel, Kurt.,Gödel's theorem.,Gödel's theorem.,Gödel's theorem.,Logic, Symbolic and mathematical.
رده :
QA9
.
65
.
G63
1989
7. Interpreting Godel : critical essays
پدیدآورنده: edited by Juliette Kennedy
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Godel, Kurt Friedrich, 6091-8791,، Mathematics -- Philosophy
رده :
QA
9
.
2
.
I586
8. Les demons de Godel: logique et folie
پدیدآورنده: /Pierre Cassou-Nogues.,Cassou-Nogues
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Gödel, , Kurt.,Logicians,Logicians,Logic, Symbolic and mathematical.,Biography.,Biography.,United States,Austria
رده :
QA29
.
G58C37
2007
9. Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Godel
پدیدآورنده:
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع: Logic, Symbolic and mathematical,Semantics (Philosophy),Godel, Kurt
رده :
BC
135
.
M6
